Eléments de l'association
|  |
List of bibliographic references
Number of relevant bibliographic references: 5.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000A95 | Myrto Arapinis [Royaume-Uni] ; Stéphanie Delaune [France] ; Steve Kremer [France] | Dynamic Tags for Security Protocols |
| 001376 | Vincent Cheval [Royaume-Uni] ; Véronique Cortier [France] ; Stéphanie Delaune [France] | Deciding equivalence-based properties using constraint solving |
| 001378 | Céline Chevalier [France] ; Stéphanie Delaune [France] ; Steve Kremer [France] ; Mark D. Ryan [Royaume-Uni] | Composition of Password-based Protocols |
| 004847 | Véronique Cortier [France] ; Stéphanie Delaune [France] ; Graham Steel [Royaume-Uni] | A Formal Theory of Key Conjuring. |
| 004F03 | Véronique Cortier [France] ; Stéphanie Delaune [France] ; Graham Steel [Royaume-Uni] | A Formal Theory of Key Conjuring |
| This area was generated with Dilib version V0.6.33. |  |